VDict - Definition of Computational Tree Logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

CTL Baroque modal logic FUNLOG neutrosophic logic propositional logic predicate logic equational logic Interest Group in Pure and Applied Logics computational complexity EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic Association for Computational Linguistics LO DACTL classical logic linear logic first-order logic B-tree BABEL logic emulator intuitionistic logic P-Prolog Lolli LOGIN intuitionistic probability quantifier HOL Distributed Logic Programming evolutionary computation complexity NP-hard Horn clause balanced tree {log} two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic more...